Franck Cassez The Dark Side of Timed Opacity. 21-30 2009 ISA http://dx.doi.org/10.1007/978-3-642-02617-1_3 conf/sersc-isa/2009 db/conf/sersc-isa/isa2009.html#Cassez09