Reinhard Gotzhein Rüdiger Grammes Thomas Kuhn Specifying Input Port Bounds in SDL. 101-116 2007 conf/sdl/2007 SDL Forum http://dx.doi.org/10.1007/978-3-540-74984-4_7 db/conf/sdl/sdl2007.html#GotzheinGK07