This optional Installation Object is of type InstallationStateMachineType which is formally defined in 8.4.9.