Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems | Publicación