A Method to Build Symbolic Representations of LOTOS Specifications