Michael Käßmeyer, Peter Bazan, Markus Schurius, Rüdiger Berndt, Reinhard German. A Formal Model for Stateful and Variant-Rich Automotive Functions. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016. pages 271-277, IEEE Computer Society, 2016. [doi]
Abstract is missing.