// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // module RTError04(nat{4} ?a,?b,[4]nat{4} !c) { c[a] = a / (b+1); c[a+2] = a - b; } drivenby { nothing; }