Towards UML-based formal specifications of component-based real-time software