2 records found
1
Collaborative requirements elicitation : A process-centred approach
Formal specification of a safety shell in real-time control practice