Formal and informal approaches for validation | IEEE Conference Publication | IEEE Xplore