1. Bohlin, R. (2002). Robot path planning. Ph.D. thesis, Department of Mathematics, Chalmers University of Technology, Göteborg, Sweden.
2. Brandin, B. A., Malik, R., & Dietrich, P. (2000). Incremental system verification and synthesis of minimally restrictive behaviors. In Proceedings of the 2000 American control conference (pp. 4056–4061). Chicago, USA.
3. Supervisory control of timed discrete-event systems;Brandin;IEEE Transactions on Automatic Control,1994
4. The complexity of robot motion planning;Canny,1988
5. Cengic, G., Åkesson, K., Lennartson, B., Yuan, C., & Ferreira, P.M. (2005). Implementation of full synchronous composition using IEC 61499 function blocks. In Proceedings of the 2005 IEEE international conference on automation science and engineering, August 2005 (pp. 267–272). Edmonton, Canada, New York: IEEE.