Modeling ATM systems with GSPNs and SWNs | Publicación