Using Different Representations of Synchronous Systems in SAL