to state at runtime [...] , or system events. Another [...] or a design document
, and documentation of object [...] and other departments within system [...] , specification of system
for system documentation
machine is a system [...] of states at runtime [...] is fulfilled, the system