The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems.