1. Bartussek W, Parnas DL (1978) Using assertions about traces to write abstract specifications for software modules. In: Proceedings of the 2nd conference of the European cooperation on informatics, Venice, Italy, pp 211–236
2. Bauer T, Beletski T, Boehr F, Eschbach R, Landmann D, Poore J (2007) From requirements to statistical testing of embedded systems. In: Proceedings of the 4th international workshop on software engineering for automotive systems, Minneapolis, MN, pp 3–9
3. Book RV, Otto F (1993) String-rewriting systems. Springer, Berlin
4. Broadfoot GH, Broadfoot PJ (2003) Academia and industry meet: some experiences of formal methods in practice. In: Proceedings of the 10th Asia-Pacific software engineering conference, Chiang Mai, Thailand, pp 49–59
5. Brzozowski J (1964) Derivatives of regular expressions. J ACM 11(4):481–494