Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.

Sebastián Uchitel Jeff Kramer Jeff Magee Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. 37-85 2004 13 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/1005561.1005563 db/journals/tosem/tosem13.html#UchitelKM04