A Formal Method for Building Concurrent Real-Time Software.

Colin J. Fidge Peter Kearney Mark Utting A Formal Method for Building Concurrent Real-Time Software. 99-106 1997 14 IEEE Software 2 db/journals/software/software14.html#FidgeKU97