Sequential Constructiveness, SCCharts for Safety-Critical Applications.
Reinhard von HanxledenBjörn DuderstadtInsa FuhrmannChristian MotikaSteven SmythMichael MendlerJoaquín AguadoStephen Loftus-MercerOwen O'BrienPublished in: Software Engineering & Management (2015)