Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility. - Björn Johansson; Edward J. Williams; Tord Alenljung (WSC, 2004)

Simplified modeling of manufacturing systems: an introduction to sensor activation graphs. - Tord Alenljung; Bengt Lennartson (CASE, 2005)

Semantics of Sensor Activation Graphs. - Tord Alenljung; Bengt Lennartson (CASE, 2006)

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. - Tord Alenljung; Markus Sköldstam; Bengt Lennartson; Knut Åkesson (CASE, 2007)

Formal verification of PLC controlled systems using Sensor Graphs. - Tord Alenljung; Bengt Lennartson (CASE, 2009)

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. - Tord Alenljung; Bengt Lennartson; Mona Noori Hosseini (IEEE Trans. Control. Syst. Technol., 2012)