Generalized Synchronizations and Capacity Constraints for Java Modelling Tools. - Giuliano Casale; Mattia Cazzoli; Shuai Jiang; Vitor S. Lopes; Giuseppe Serazzi; Lulai Zhu (ICPE, 2017)