Improve State machine model

[maurpa]

• Add transtions to differntiate between synchronous and asynchronous behaviour
• Differentiate between receiving transition trigger/ sending (for modules like OBC)
• Add time constraints for the transitions