Combining communicating sequential processes and temporal logic
Pearson, Justin
;
Bryans, Jeremy
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 130-137