Lawrence Cabac Till Dörges Michael Duvigneau Christine Reese Matthias Wester-Ebbinghaus Models and Tools for Mulan Applications. 328-330 2007 conf/ceemas/2007 CEEMAS http://dx.doi.org/10.1007/978-3-540-75254-7_40 db/conf/ceemas/ceemas2007.html#CabacDDRW07