1. Lecture Notes in Computer Science;B Beckert,2015
2. Cerone, A.: Closure, attention activation in human automatic behaviour: A framework for the formal analysis of interactive systems. In: Proceedings of FMIS 2011, Electronic Communications of the EASST, vol. 45 (2011)
3. Lecture Notes in Computer Science;A Cerone,2016
4. Cerone, A., Roggenbach, M., Schlingloff, B.-H., Schneider, G., Shaikh, S.: Teaching formal methods for software engineering – ten principles. Informatica Didactica 9 (2015). https://www.informaticadidactica.de/index.php?page=Schlinghoff2015
5. Lecture Notes in Computer Science;A Cerone,2015