Combining communicating sequential processes and temporal logicPearson, Justin; Bryans, JeremyProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 130-137