An Operator-based Approach to Incremental Development of Conform Protocol State Machines