Conflict Detection in Call Control Using First-Order Logic Model Checking. - Ahmed F. Layouni; Luigi Logrippo; Kenneth J. Turner (ICFI, 2007)