@Article{Massink_JFAC_2011,
   joint-pub = {false},
   status = {private},
   number = {2},
   publisher = {Springer-Verlag},
   task = {T2.2,T7.1,T1.1},
   doi = {10.1007/s00165-011-0188-1},
   reported = {year1},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {24},
   main = {no},
   accessible = {true},
   title = {{Scalable context-dependent analysis of emergency egress models}},
   author = {Mieke Massink and Diego Latella and Andrea Bracciali and Michael Harrison and Jane Hillston},
   period = {year1},
   journal = {Formal Aspects of Computing. The International Journal of FormalMethods},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {ISTI},
   wp = {WP2,WP7,WP1},
   pages = {267-302}
}