Spin Model Checker, by Lucent Technologies