1. Edgar, G.J., Barrett, N.S., Morton, A.J.: Biases associated with the use of underwater visual census techniques to quantify the density and size-structure of fish populations. J. Exp. Mar. Biol. Ecol. 308(2), 269–290 (2004)
2. Adolf, F., Andert, F.: Onboard mission management for a VTOL UAV using sequence and supervisory control. Cutting Edge Robot. 2010, 301–317 (2010)
3. NATO and RTO, Coalition Battle Management Language (C-BML), Technical report (2012)
4. Meduna, A.: Formal Languages and Computation: Models and Their Applications. CRC Press, Boca Raton (2014)
5. Fernández-Perdomo, E., Cabrera-Gómez, J., Domínguez-Brito, A.C., Hernández-Sosa, D.: Mission specification in underwater robotics. J. Phys. Agents 4(1), 25–34 (2010)