@article{206386,
  author = {Kevin Mills and H Gomaa},
  title = {Knowledge-Based Automation of a Design Method for Concurrent Systems},
  year = {2002},
  number = {28},
  month = {2002-03-01},
  publisher = {IEEE Transactions on Software Engineering},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151047},
  language = {en},
}