Zhennan Fei, Sajed Miremadi, Knut Åkesson. Modeling sequential resource allocation systems using Extended Finite Automata. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 444-449, IEEE, 2011. [doi]
Abstract is missing.