Dwivedi, A K (2014) Formalization and model checking of software architectural style. MTech by Research thesis.
