Aristides Dasso Chris George Automating software development by cross-utilization of specification tools. 368-373 2004 conf/iastedSEA/2004 IASTED Conf. on Software Engineering and Applications db/conf/iastedSEA/iastedSEA2004.html#DassoG04