Tool support for tailored software prototyping | IEEE Conference Publication | IEEE Xplore