Pseudocode comments, Javadoc & method signatures of PlatformBehaviour
class