Multi-Facets Contract for Modeling and Verifying Heterogeneous SystemsMay 27th, 2021FiledMay 27th, 2021