An Integrated Environment for System Specification and Prototyping

@inproceedings{BUT191960,
  author="Milan {Češka} and Radek {Drabant} and Vladimír {Janoušek}",
  title="An Integrated Environment for System Specification and  Prototyping",
  booktitle="Proc. of the 12th International   Conference  on   Systems  Science",
  year="1994",
  pages="53--60",
  publisher="unknown",
  address="Wroclav"
}