Under consideration for publication in Formal Aspects of Computing Formal Semantics of an Extended Hierarchical State Transition Matrix using CSP