1. Aitken, J., et al.: Autonomous nuclear waste management. Intell. Syst. (2018).
https://doi.org/10.1109/MIS.2018.111144814
2. Amoozadeh, M., Deng, H., Chuah, C.N., Zhang, H.M., Ghosal, D.: Platoon management with cooperative adaptive cruise control enabled by vanet. Veh. Commun. 2(2), 110–123 (2015)
3. Balachandran, S., Muñoz, C., Consiglio, M., Feliú, M., Patel, A.: Independent configurable architecture for reliable operation of unmanned systems with distributed on-board services. In: Proceedings of the 37th Digital Avionics Systems Conference (DASC 2018) (2018)
4. Behrmann, G., et al.: UPPAAL 4.0. In: Proceedings of International Conference on Quantitative Evaluation of Systems, pp. 125–126 (2006)
5. Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier, New York (2006)