Improving MBSE models using human performance simulation | IEEE Conference Publication | IEEE Xplore