Michael Breen. Experience of using a lightweight formal specification method for a commercial embedded system product line. Requir. Eng., 10(2):161-172, 2005. [doi]
@article{Breen05:0,
title = {Experience of using a lightweight formal specification method for a commercial embedded system product line},
author = {Michael Breen},
year = {2005},
doi = {10.1007/s00766-004-0209-1},
url = {http://dx.doi.org/10.1007/s00766-004-0209-1},
tags = {product line},
researchr = {https://researchr.org/publication/Breen05%3A0},
cites = {0},
citedby = {0},
journal = {Requir. Eng.},
volume = {10},
number = {2},
pages = {161-172},
}