Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde. Formal semantics of behavior specifications in the architecture analysis and design language standard. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016. pages 30-39, IEEE, 2016. [doi]
Abstract is missing.