Each transition item contains: from, to, condition, immediate, reset, synchronize, priority.
function getTransitions input TypeName cl; output String[:, :] transitions; end getTransitions;