Modelling a Secure, Mobile, and Transactional System with CO-OPN