@InProceedings{voros-nfm-2018,
  author="V{\"o}r{\"o}s, Andr{\'a}s and B{\'u}r, M{\'a}rton and R{\'a}th, Istv{\'a}n and Horv{\'a}th, {\'A}kos and Micskei, Zolt{\'a}n and Balogh, L{\'a}szl{\'o} and Hegyi, B{\'a}lint and Horv{\'a}th, Benedek and M{\'a}zl{\'o}, Zsolt and Varr{\'o}, D{\'a}niel",
  title="MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems",
  booktitle="NASA Formal Methods",
  year="2018",
  publisher="Springer",
  pages="460--467",
  abstract="We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical systems. MoDeS3 represents a smart transportation system-of-systems composed of a model railway and a crane which may automatically load and unload cargo from trains where both subsystems need to fulfill functional and safety requirements. The demonstrator is built by using the model-based software engineering principle, while the system level safety is ensured by the combined use of design-time and runtime verification and validation techniques.",
  doi="10.1007/978-3-319-77935-5_31",
}