@inproceedings{MPA:IES2006,
  title     = {From {UML} to Petri Nets for non functional Property Verification},
  author    = {Fr{\'e}d{\'e}ric Mallet and
               Charles Andr{\'e} and
               Marie-Agn{\`e}s Peraldi-Frati},
  booktitle = {Industrial Embedded Systems, 2006. {IES} '06. International Symposium on},
  year      = {2006},
  pages     = {1--9},
  address   = {Antibes Juan-Les-Pins},
  month     = oct,
  doi       = {10.1109/IES.2006.357475},
  crossref  = {conf/sies/2006}
}

@proceedings{conf/sies/2006,
  title     = {IEEE International Symposium on Industrial Embedded
               Systems - IES'2006, Antibes Juan-Les-Pins, France
               October 2006},
  booktitle = {Industrial Embedded Systems, 2006. {IES}'06. International Symposium on},
  publisher = {IEEE},
  year      = {2006}
}

@inproceedings{MARTES2006,
  title     = {Modeling with logical time in {UML} for real-time embedded system design},
  author    = {Charles Andr{\'e} and
               Arnaud Cuccuru and
	       Robert {de Simone} and
	       Thiery Gautier and
	       Fr{\'e}d{\'e}ric Mallet and
               Jean-Pierre Talpin},
  booktitle = {MARTES 2006},
  year      = {2006},
  pages     = {27--40},
  address   = {Genoa, Italy},
  month     = oct,
  crossref  = {conf/martes/2006}
}

@proceedings{conf/martes/2006,
  title     = {IEEE Workshop on Modeling and Analysis of Real-Time and
               Embedded Systems - MARTES'2006, Genoa, Italy
               October 2006},
  booktitle = {MARTES 2006},
  editor    = {S. G{\'e}rard and S. Graf and O. Haugen and I. Ober and B. Selic},
  publisher = {University of Oslo},
  year      = {2006}
  note      = {343},
  ee        = {http://www.duo.uio.no/sok/work.html?WORKID=45427}
}

@techreport{ANDRE:2006:INRIA-00124874:1,
  title       = {{N}on-functional property analysis using {UML}2.0 and model transformations},
  author      = {{A}ndr{\'e}, {C}harles and 
                 {M}allet, {F}r{\'e}d{\'e}ric and 
                 {P}eraldi-{F}rati, {M}arie-{A}gn{\`e}s},
  affiliation = {{AOSTE} - {INRIA} {R}ocquencourt / {INRIA} {S}ophia {A}ntipolis - {INRIA} 
                 - {U}niversit{\'e} de {N}ice {S}ophia-{A}ntipolis },
  pages       = {18},
  type        = {Research Report},
  institution = {INRIA},
  number      = {{RR}-5913},
  year        = {2006},
  URL         = {http://hal.inria.fr/inria-00124874/en/},
}