Relation Algebras, Matrices, and Multi-valued Decision Diagrams. - Francis Atampore; Michael Winter 001 (RAMiCS, 2012)

Automated service composition via supervisory control theory. - Francis Atampore; Juergen Dingel; Karen Rudie (WODES, 2016)

Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis. - Francis Atampore (2017)

A controller synthesis framework for automated service composition. - Francis Atampore; Juergen Dingel; Karen Rudie (Discret. Event Dyn. Syst., 2019)