Jan Friso Groote Radu Mateescu Verification of Temporal Properties of Processes in a Setting with Data. 74-90 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480074.htm db/conf/amast/amast98.html#GrooteM98