Rohit Chadha A. Prasad Sistla Mahesh Viswanathan On the expressiveness and complexity of randomization in finite state monitors. 2009 56 J. ACM 5 http://doi.acm.org/10.1145/1552285.1552287 db/journals/jacm/jacm56.html#ChadhaSV09