Multi-Input Non-Deterministic State-Machines (MINDS) to Support Aerospace Systems Engineering Simulation and Analysis | IEEE Conference Publication | IEEE Xplore