Model-based design and early verification aid designers - Nelson, Rick (EDN)