Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. - Ivan Ruchkin; Oleg Sokolsky; James Weimer; Tushar Hedaoo; Insup Lee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)