Rigorous code generation for distributed real-time embedded systems. - Ali Almohammad (2013)

ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. - Ali Almohammad; João F. Ferreira 001; Alexandra Mendes; Phil White (RE Workshops, 2017)