Chaiwat Sathawornwichit, Takuya Katayama. A Parametric Model Checking Approach for Real-Time Systems Design. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan. pages 584-594, IEEE Computer Society, 2005. [doi]
Abstract is missing.