Hareland Kantor. Modal Scenarios as Automata. Springer Berlin Heidelberg, 2014, doi:10.1007/978-3-642-45321-2_7.