Automated Extraction of Abstract Behavioural Models from JMS Applications | Publicación