Søren Christensen Jens Bæk Jørgensen Antti-Pekka Tuovinen Jianli Xu Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. 304-310 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#ChristensenJTX04