Integrating ASMs into the Software Development Life Cycle