Semantic based model of Conceptual Work Products for formal verification of complex interactive systems