Perry Alexander Roshan Kamath David Barton System Specification in Rosetta. 299-307 2000 conf/ecbs/2000 ECBS http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040299abs.htm db/conf/ecbs/ecbs2000.html#AlexanderKB00