RCRS

RCRS (the Refinement Calculus of Reactive Systems) is a compositional reasoning framework

S3D

Single-source design approach based on UML - MARTE