On the Expressiveness and Complexity of Randomization in Finite State Monitors | IEEE Conference Publication | IEEE Xplore