Integrating formal and informal specification techniques. why? how? | IEEE Conference Publication | IEEE Xplore