Embedded Development Explained | How Can Static Analysis Help?