A multi-level requirements modeling for sociotechnical system simulation-based checking | IEEE Conference Publication | IEEE Xplore