On Formal Requirements Modeling Languages: RML Revisited

@inproceedings{Greenspan-al:ICSE94,
  author    = {Sol J. Greenspan and
               John Mylopoulos and
               Alexander Borgida},
  title     = {On Formal Requirements Modeling Languages: {RML} Revisited},
  booktitle = {ICSE},
  pages     = {135--147},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1994},
}