Hybrid Objects. - Michael Tittus; Bo Egardt (Hybrid Systems, 1994)

Control Synthesis for Batch Processes. - Michael Tittus (1995)

Modeling, specification and controller synthesis for discrete event systems. - Bengt Lennartson; Michael Tittus; Martin Fabian (SMC, 1998)

Modular supervisors for deadlock avoidance in batch processes. - Michael Tittus; Knut Åkesson (SMC, 1998)

Control design for integrator hybrid systems. - Michael Tittus; Bo Egardt (IEEE Trans. Autom. Control., 1998)

Hierarchical supervisory control for batch processes. - Michael Tittus; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 1999)

A scalable deadlock avoidance policy for batch processes. - Michael Tittus; Placid M. Ferreira (ACC, 2000)

Specification of a batch plant using process algebra and Petri nets. - Petter Falkman; Bengt Lennartson; Michael Tittus (CASE, 2005)