PMC: A programming language for embedded systems (1999)

by S Mork, K Larsen, H R Andersen, P Sestoft
Venue:In Proc. Int. Workshop Formal Methods for Industrial Critical Systems