@inproceedings {10.1007/978-3-319-77935-5_31,
	title = {MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems},
	booktitle = {NASA Formal Methods},
	year = {2018},
	pages = {460{\textendash}467},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	address = {Cham},
	abstract = {<p>
	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.</p>
},
	isbn = {978-3-319-77935-5},
	author = {Andr{\'a}s V{\"o}r{\"o}s and M{\'a}rton B{\'u}r and Istv{\'a}n R{\'a}th and {\'A}kos Horv{\'a}th and Zolt{\'a}n Micskei and Balogh, L{\'a}szl{\'o} and Hegyi, B{\'a}lint and Benedek Horv{\'a}th and M{\'a}zl{\'o}, Zsolt and D{\'a}niel Varr{\'o}},
	editor = {Dutle, Aaron and Mu{\~n}oz, C{\'e}sar and Narkawicz, Anthony}
}
