3rd International workshop on developing tools as plug-ins (TOPI 2013) | IEEE Conference Publication | IEEE Xplore