System Testing Aided by Structured Analysis: A Practical Experience | IEEE Journals & Magazine | IEEE Xplore