Akio Nakata Teruo Higashino Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. 151-168 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#NakataH01