@inproceedings{914b239f7a6140a38c98ef43162739a3,
title = "PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking",
abstract = "This paper presents the core concepts for PLC-statecharts - an adaptation of UML-statecharts - which can be used as a visual programming language for PLCs. They combine the advantages of UMLstatecharts with a strict formal basis and can be transparently used in the context of IEC 61131-3 (3rd Edition). The defined formal behavioral semantics sets the basis for an automatic transformation of PLC-statecharts into timed automata which can be analyzed by the model-checker UPPAAL.",
author = "Daniel Witsch and Birgit Vogel-Heuser",
year = "2011",
doi = "10.3182/20110828-6-IT-1002.02207",
language = "English",
isbn = "9783902661937",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "1 PART 1",
pages = "7866--7872",
booktitle = "Proceedings of the 18th IFAC World Congress",
edition = "1 PART 1",
}