Implementation of full synchronous composition using IEC 61499 function blocks. - Goran Cengic; Knut Åkesson; Bengt Lennartson; Chengyin Yuan; Placid Mathew Ferreira (CASE, 2005)

Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs. - Fangming Gu; William S. Harrison; Dawn M. Tilbury; Chengyin Yuan (CASE, 2007)

Functional safety certification: Practice and issues. - Jing Liu; Chengyin Yuan; Fangming Gu; Stephan Biller (CASE, 2008)

Operation-oriented specification for integrated control logic development. - Kristofer Bengtsson; Bengt Lennartson; Chengyin Yuan; Petter Falkman; Stephan Biller (CASE, 2009)

Virtual Launch & Validation of Manufacturing Automation Controls. - Leandro G. Barajas; Stephan Biller; Fangming Gu; Chengyin Yuan (CASE, 2010)

Relations identification and visualization for sequence planning and automation design. - Kristofer Bengtsson; Carl Thorstensson; Bengt Lennartson; Knut Åkesson; Chengyin Yuan; Sajed Miremadi; Petter Falkman (CASE, 2010)

Embedding detailed robot energy optimization into high-level scheduling. - Alberto Vergnano; Carl Thorstensson; Bengt Lennartson; Petter Falkman; Marcello Pellicciari; Chengyin Yuan; Stephan Biller; Francesco Leali (CASE, 2010)

Sequence Planning for Integrated Product, Process and Automation Design. - Bengt Lennartson; Kristofer Bengtsson; Chengyin Yuan; Kristin Andersson; Martin Fabian; Petter Falkman; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2010)

Formal Specification and Verification of Industrial Control Logic Components. - Oscar Ljungkrantz; Knut Åkesson; Martin Fabian; Chengyin Yuan (IEEE Trans Autom. Sci. Eng., 2010)

Sequence Planning Using Multiple and Coordinated Sequences of Operations. - Kristofer Bengtsson; Patrik Bergagard; Carl Thorstensson; Bengt Lennartson; Knut Åkesson; Chengyin Yuan; Sajed Miremadi; Petter Falkman (IEEE Trans Autom. Sci. Eng., 2012)

From Hardware-in-the-Loop to Hybrid Process Simulation: An Ontology for the Implementation Phase of a Manufacturing System. - William S. Harrison; Dawn M. Tilbury; Chengyin Yuan (IEEE Trans Autom. Sci. Eng., 2012)

Towards Industrial Formal Specification of Programmable Safety Systems. - Oscar Ljungkrantz; Knut Åkesson; Chengyin Yuan; Martin Fabian (IEEE Trans. Control. Syst. Technol., 2012)