Compositional verification of embedded real-time systemsMohammed Foughali, Alexander Zuepke|Journal of Systems Architecture|2023Cited by 15