Xiayong Hu Mark Lawford Alan Wassyng Formal Verification of the Implementability of Timing Requirements. 119-134 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_12 conf/fmics/2008 db/conf/fmics/fmics2008.html#HuLW08