Searching for "Experience of using a lightweight formal specification method for a commercial embedded system product line." – sorted by Relevance.