@INPROCEEDINGS{Muller05j,
  author = {Muller, Pierre-Alain},
  title = {Application of Model Transformation},
  booktitle = {ARTIST2 Summer School on Component \& Modelling, Testing \& Verification,
	and Statical Analysis of Embedded Systems},
  year = {2005},
  address = {Nässlingen, Sweden},
  month = sep,
  publisher = { }
}