Horacio Hoyos, Rubby Casallas, Fernando Jiménez. HiLeS-T: an ADL for early requirement verification of embedded systems. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 7-12, ACM, 2012. [doi]
Abstract is missing.