Pseudocode comments, Javadoc & method signatures for TimedPlatform class