Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins: Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION 2023: 93-114