Book

Formal modeling and analysis of timed systems

by Wang Yi