El-Ansary06'

@inproceedings{DBLP:conf/cimca/El-Ansary06,
  author    = {Assem El-Ansary},
  title     = {Requirements Definition of Safe Software Using the Behavioral
               Patterns Analysis (PBA) Approach: The Railroad Crossing
               System},
  booktitle = {CIMCA/IAWTIC},
  year      = {2006},
  pages     = {80},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CIMCA.2006.176},
  crossref  = {DBLP:conf/cimca/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cimca/2006,
  title     = {2006 International Conference on Computational Intelligence
               for Modelling Control and Automation (CIMCA 2006), International
               Conference on Intelligent Agents, Web Technologies and Internet
               Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney,
               Australia},
  booktitle = {CIMCA/IAWTIC},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {0-7695-2731-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}