@article{heinzemannspecification,
  added-at = {2013-09-19T17:10:51.000+0200},
  author = {Heinzemann, Christian and Henkler, Stefan and Z{\"u}ndorf, Albert},
  biburl = {https://www.bibsonomy.org/bibtex/2f5144b8474c348390edadd2cf4a38334/zuendorf},
  interhash = {decddb6a4710c828ca5eb4a8a9a9a866},
  intrahash = {f5144b8474c348390edadd2cf4a38334},
  journal = {Proceedings of the 7th International Fujaba Days},
  keywords = {myown se},
  pages = {6--10},
  timestamp = {2013-09-19T17:10:51.000+0200},
  title = {Specification and refinement checking of dynamic systems},
  url = {http://www.fujaba.de/uploads/tx_sibibtex/FDAYS09_HHZ_Pre.pdf},
  volume = 2009,
  year = 2009
}