Reasoning about real-time statecharts in the presence of semantic variations. - Subash Shankar; Sinan Asa; Vladimir Sipos; Xiaowei Xu (ASE, 2005)