Advanced Topics in Formal Methods and Software Architecture - CAS 756 Course