Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL