Matthias Giese Tomasz Mistrzyk Andreas Pfau Gerd Szwillus Michael von Detten AMBOSS: A Task Modeling Approach for Safety-Critical Systems. 98-109 2008 TAMODIA/HCSE http://dx.doi.org/10.1007/978-3-540-85992-5_8 conf/tamodia/2008 db/conf/tamodia/tamodia2008.html#GieseMPSD08