Constraint-Based Synchronization and Verification of Distributed Java Programs | Publicación