Synchronous Programs Testing Language (SPTL). - Mouna Tka Mnad; Christophe Deleuze; Ioannis Parissis (ICCSA (1), 2014)

Automated test generation for synchronous controllers. - Mouna Tka Mnad; Christophe Deleuze; Ioannis Parissis; Jackie Launay; Jean Baptiste Gning (AST@ICSE, 2016)