Robert J. Hall A method and tools for large scale scenarios. 113-148 2008 15 Autom. Softw. Eng. 2 http://dx.doi.org/10.1007/s10515-008-0026-8 db/journals/ase/ase15.html#Hall08