A Formal Design and Implementation Method for Real-Time Embedded Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson; Stephen Hawkes (EUROMICRO, 1996)