Devs specification and implementation of siman blocks using modelica language | IEEE Conference Publication | IEEE Xplore