Title: Developing Secure and Safe Systems with Knowledge Acquisition for Automated Specification