Parastoo Delgoshaei, Mark Austin. Software Patterns for Traceability of Requirements to Finite State Machine Behavior. In Cihan H. Dagli, editor, Proceedings of the Conference on Systems Engineering Research, CSER 2012, St. Louis, MO, USA, March 19-22, 2012. Volume 8 of Procedia Computer Science, pages 214-219, Elsevier, 2012. [doi]
Abstract is missing.