@article{717,
  author = {Tivadar Szemethy and Gabor Karsai},
  title = {Platform Modeling and Model Transformations for Analysis},
  year = {2004},
  journal = {Journal of Universal Computer Science},
  volume = {10},
  pages = {1383--1406},
  month = {October},
  language = {eng},
}