Thanks a lot for these helpful links! don't know much about Ada/SPARK but will spend some time going through these resources.