Byron Purves System design with models. 478 1997 conf/ecbs/1997 ECBS http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890478abs.htm db/conf/ecbs/ecbs1997.html#Purves97a