Formal methods and models for system design - Gupta, Rajesh Kumar