Using Different Representations of Synchronous Systems in SAL. - Manuel Gesell; Felipe Bichued; Klaus Schneider 001 (MBMV, 2014)