@inproceedings{sengupta_bhattacharya_2006, 
  title={Formalization of UML use case diagram-a Z notation based approach}, 
  DOI={10.1109/icoci.2006.5276507}, 
  publisher={IEEE}, 
  author={Sengupta and Bhattacharya}, 
  year={2006}
  }