Paul Fleischer Lars Michael Kristensen Modelling the configuration/management API middleware using coloured petri nets. 16 2008 SimuTools http://doi.acm.org/10.1145/1416222.1416243 conf/simutools/2008 db/conf/simutools/simutools2008.html#FleischerK08