A formal basis for design process planning and management | IEEE Journals & Magazine | IEEE Xplore