Part 1: Formalization of functional needs with SysML

Capturing functional needs as SysML use cases, activity diagrams and operational scenarios, and what a 'good' functional model looks like.