1. Bensalem, S., de Silva, L., Gallien, M., Ingrand, F., and Yan, R. (2010). “Rock solid” software: a verifiable and correct-by-construction controller for rover and spacecraft functional levels. Int. Symp. on Artificial Intelligence, Robotics and Automation for Space (i-SAIRAS), Sapporo, Japan.
2. Robust nonblocking supervisory control of discrete-event systems;Bourdon;IEEE Trans. Autom. Control,2005
3. The supervisory control of the automated manufacturing system of the aip;Brandin;Proc. 4th Int. Conf. on Computer Integrated Manufacturing and Automation Technology,1994
4. Introduction to Discrete Event Systems;Cassandras,2008
5. DECK, Discrete Event Control Kit (DECK 1.2013.11). ECE Dept., Concordia University. http://www.ece.concordia.ca/~shz/deck. [Online].