Exception Handling in Programmable Controllers with Denotational Model - Jan Sadolewski; Bartosz Trybus (Annals of computer science and information systems)