Experience of using a lightweight formal specification method for a commercial embedded system product line

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]

Abstract

Abstract is missing.