Formal specification embedded systems by Adri Gorissen