Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems.

Felix Schaber, Atif Mashkoor, Michael Leuschel

Browse the full FMICS paper archive.