A Parametric Model Checking Approach for Real-Time Systems Design. - Chaiwat Sathawornwichit; Takuya Katayama (APSEC, 2005)

Modeling of Real-Time System Designs for Parametric Analysis. - Chaiwat Sathawornwichit; Toshiaki Aoki; Takuya Katayama (RTCSA, 2010)

Consistency Reflection for Automatic Update of Testing Environment. - Chaiwat Sathawornwichit; Shigeru Hosono (APSCC, 2012)

Consistent Testing Framework for Continuous Service Development. - Chaiwat Sathawornwichit; Shigeru Hosono (APSCC, 2014)