3 ms·ArgoSIM Stimulus: formalize textual req and sim them to debug systems specs1 points by based2 11y ago