@inproceedings{OHalloran00,
  title = {Issues for the Automatic Generation of Safety Critical Software},
  author = {Colin O'Halloran},
  year = {2000},
  url = {http://computer.org/proceedings/ase/0710/07100277abs.htm},
  tags = {code generation, context-aware, systematic-approach},
  researchr = {https://researchr.org/publication/OHalloran00},
  cites = {0},
  citedby = {0},
  pages = {277-280},
  booktitle = {ASE},
}

@inproceedings{OHalloranS99,
  title = {Verification of Picture Generated Code},
  author = {Colin O'Halloran and Alf Smith},
  year = {1999},
  url = {http://computer.org/proceedings/ase/0415/04150127abs.htm},
  tags = {control systems, case study, meta-model, reviewing, Meta-Environment, systematic-approach, systematic review},
  researchr = {https://researchr.org/publication/OHalloranS99},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {ASE},
}