Rewriting-based formal modeling, analysis and implementation of real-time distributed services - Musab A. Al-Turki (2011)