An EFSM-based Test Generation for Validation of SDL Specifications. - W. Eric Wong; Andy Restrepo; Yu Qi; Byoungju Choi (AST, 2008)

Validation of SDL specifications using EFSM-based test generation. - W. Eric Wong; Andy Restrepo; Byoungju Choi (Inf. Softw. Technol., 2009)

Validation of SDL-Based Architectural Design Models: New Coverage Criteria. - Andy Restrepo; W. Eric Wong (SSIRI, 2011)

Validation of SDL-based architectural design models using communication-based coverage criteria. - Andy Restrepo; W. Eric Wong (Inf. Softw. Technol., 2012)