A domain-specific language for verifying software requirement constraints. - Marzina Vidal; Tiago Massoni; Franklin Ramalho (Sci. Comput. Program., 2020)