Added computation of profiles given machine description and timed state transitions.
Merge commit 'fb6550b996b2b1667a44a203039fda5fb032d255'