Mirela NG examples repository

This repository contains the models and queries linked to the three examples presented in the paper named Analysis of local deadlocks and related properties in abstract modular real-time applications.