@InProceedings{bialy2015methodology,
  author    = {Monika Bialy and Mark Lawford and Vera Pantelic and Alan Wassyng},
  title     = {A Methodology for the Simplification of Tabular Designs in Model-Based Development},
  booktitle = {Proceedings of the 3\textsuperscript{rd} FME Workshop on Formal Methods in Software Engineering (FormaliSE)},
  year      = {2015},
  series    = {Formalise '15},
  pages     = {47--53},
  month     = may,
  publisher = {IEEE Press},
  doi       = {10.1109/FormaliSE.2015.15},
  url       = {dl.acm.org/citation.cfm?id=2820126.2820139},
}