Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)