Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. - Laurent Ferier; Jean-François Raskin; Pierre-Yves Schobbens (SMC@FLoC, 1999)