Development cost and size estimation starting from high-level specifications | IEEE Conference Publication | IEEE Xplore