K. Suzanne Barber Thomas J. Graser Jim Holt Geoff Baker Arcade: early dynamic property evaluation of requirements using partitioned software architecture models. 222-235 2003 8 Requir. Eng. 4 http://dx.doi.org/10.1007/s00766-002-0159-4 db/journals/re/re8.html#BarberGHB03