An experimental study of a design-driven, tool-based development approach | IEEE Conference Publication | IEEE Xplore