Rohit Chadha A. Prasad Sistla Mahesh Viswanathan On the Expressiveness and Complexity of Randomization in Finite State Monitors. 18-29 2008 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2008.42 conf/lics/2008 db/conf/lics/lics2008.html#ChadhaSV08