1. Akesson, K., Fabian, M., Flordal, H., & Malik, R. (2006). Supremica—An integrated environment for verification, synthesis and simulation of discrete event systems. In 2006 IEEE 8th international workshop on discrete event systems (pp. 384–385). Piscataway, NJ: IEEE.
2. Belta, C., Bicchi, A., Egerstedt, M., Frazzoli, E., Klavins, E., & Pappas, G. (2007). Symbolic planning and control of robot motion [grand challenges of robotics]. IEEE Robotics & Automation Magazine, 14(1), 61–70.
3. Brambilla, M., Ferrante, E., Birattari, M., & Dorigo, M. (2013). Swarm robotics: A review from the swarm engineering perspective. Swarm Intelligence, 7(1), 1–41.
4. Brambilla, M., Brutschy, A., Dorigo, M., & Birattari, M. (2015). Property-driven design for swarm robotics: A design method based on prescriptive modeling and model checking. ACM Transaction on Autonomous and Adaptive Systems, 9(4), 17:1–17:28.
5. Brzozowski, J. (1962). Canonical regular expressions and minimal state graphs for definite events. Mathematical Theory of Automata, 12, 529–561.