A Compositional Semantics of Boolean-Logic Driven Markov Processes | IEEE Journals & Magazine | IEEE Xplore