Laxman, Parne Balu (2013) Validation of UML Models for Interactive Systems with CPN and SPIN. MTech thesis.