Compositional Formal Analysis Based on Conventional Engineering Models. - Tyler D. Smith; Ryan Peroutka; Robert Edman (CoRR, 2020)