Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.

Brian C. Williams, Michel D. Ingham

Browse the full CP paper archive.