Advanced Boolean Equation Language