Xiayong Hu, Mark Lawford, Alan Wassyng. Formal Verification of the Implementability of Timing Requirements. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 119-134, Springer, 2008. [doi]
Abstract is missing.