Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests. - Bruno Miranda; Henrique Masini; Rodrigo Reis (FM, 2015)