Description: University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.