Summary
Augmenting Sandbox with improved model checking, plus its evaluation – M26
More information & hyperlinks