Nasreddine Aoumeur Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets. 121-156 2008 2 Enterprise IS 2 http://dx.doi.org/10.1080/17517570801927403 db/journals/eis/eis2.html#Aoumeur08