Linda Ness L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. 410-423 http://www.computer.org/tse/ts1993/e0410abs.htm 1993 19 IEEE Trans. Software Eng. 4 db/journals/tse/tse19.html#Ness93