Carron Kirkwood Specifying Properties of Basic LOTOS Processes Using Temporal Logic. 109-116 1995 conf/forte/1995 FORTE db/conf/forte/forte1995.html#Kirkwood95