Concurrency Analysis in System-Level Behavioral Models. - Cristina Giannone; Gianluca Nanni; Luigi Pomante; Marco Santic (MECO, 2025)