The Bastion<br>Automated Approach