A multi-level requirements modeling for sociotechnical system simulation-based checking.

Sophie Prat, Philippe Rauffet, Pascal Berruet, Alain Bignon

Browse the full SMC paper archive.