"Predictability of finite state machines for smart fire emergency management."

Gabriella Fiore, Alessandro Marucci, Elena De Santis (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics