Stepwise Development of Simulink Models Using the Refinement Calculus Framework.

Pontus Bostrm, Lionel Morel, Marina Waldn

Browse the full ICTAC paper archive.