@article{749a8c15b55e40389badb70da4f5ddd7,
title = "Informal and formal modelling of engineering processes for design automation using knowledge based engineering",
keywords = "Design automation, Formal representation, Knowledge based engineering (KBE), Process automation, Process model",
author = "Vibhor Trehan and Craig Chapman and Pathmeswaran Raju",
note = "Publisher Copyright: {\textcopyright} 2015, Zhejiang University and Springer-Verlag Berlin Heidelberg.",
year = "2015",
month = sep,
day = "13",
doi = "10.1631/jzus.A1500140",
language = "English",
volume = "16",
pages = "706--723",
journal = "Journal of Zhejiang University: Science A",
issn = "1673-565X",
publisher = "Springer",
number = "9",
}