Text this: Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems.