Muffy Calder Savi Maharaj Carron Shankland A Modal Logic for Full LOTOS based on Symbolic Transition Systems. 55-61 2002 45 Comput. J. 1 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450055.sgm.abs.html db/journals/cj/cj45.html#CalderMS02