Sérgio Vale Aguiar Campos Edmund M. Clarke Wilfredo R. Marrero Marius Minea Hiromi Hiraishi Temporal Verification of Real-Time Systems. 796-801 1995 78-D IEICE Trans. Inf. Syst. 7 http://search.ieice.org/bin/summary.php?id=e78-d_7_796 db/journals/ieicet/ieicet78d.html#CamposCMMH95