model based safety analysis with smartiflow † .
Logic in computer science: modelling and reasoning about systems