Sanaz Yeganefard, Michael Butler. Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. ECEASST, 46, 2011. [doi]
@article{YeganefardB11,
title = {Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation},
author = {Sanaz Yeganefard and Michael Butler},
year = {2011},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/695},
researchr = {https://researchr.org/publication/YeganefardB11},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {46},
}