Towards modular verification of pathways: fairness and assumptions - Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo (2012)