Title: Reuse-oriented structured analysis for embedded systems