Formalization of Birth-Death and IID processes in higher-order logic | IEEE Conference Publication | IEEE Xplore