Internal Transition Function
function int input st s; input Real stm; input Real t; output st sout; end int;