1. Albus, J.S., Huang, H., Lacaze, A., Schneier, M., Juberts, M., Scott, H., et al. (2002). 4D/RCS: A reference model architecture for unmanned vehicle systems version 2.0. Technical report. NIST Interagency.
2. Principles of model checking;Baier,2008
3. Belohoubek, P., & Kolibal, Z. (1996). Research on the field of the intelligent robot system control for the construction. In Proceedings of 13th international symposium on automation and robotics in construction and mining, (pp. 81–86).
4. Petri nets, process algebras and concurrent programming languages;Best,1998
5. Breitenmoser, A., Tâche, F., Caprari, G., Siegwart, R., & Moser, R. (2010). Magnebike: Toward multi climbing robots for power plant inspection. In Proceedings of the ninth international conference on autonomous agents and multiagent systems: Industry track, international foundation for autonomous agents and multiagent systems (pp. 1713–1720). Richland, SC.