Formal Representations of Complex Joint Human-Machine Systems : Operational Level Applications