@inproceedings{vonHanxledenDM+14, author = {Reinhard von Hanxleden and Bj{\"o}rn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaqu{\'i}n Aguado and Stephen Mercer and Owen O'Brien}, title = {{SCCharts: Sequentially Constructive Statecharts} for Safety-Critical Applications}, booktitle = {Proc.\ ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '14)}, year = {2014}, publisher = {ACM}, address = {Edinburgh, UK}, month = {June}, pages = {372--383}, pdf = {pldi14.pdf}, doi = {10.1145/2594291.2594310}, urltalk = {pldi14-talk.pdf}, }