Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML.

Jaco Jacobs, Andrew Simpson

Browse the full ICFEM paper archive.