Gustaf Naeser Kristina Lundqvist Lars Asplund Temporal skeletons for verifying time. 49-56 2005 conf/sigada/2005 SIGAda http://doi.acm.org/10.1145/1103846.1103854 db/conf/sigada/sigada2005.html#NaeserLA05