Jose Claudio Vieira S. Junior, Alisson V. Brito, Luis Feliphe S. Costa, Tiago Pereira do Nascimento, Elmar Uwe Kurt Melcher. Testing real-time embedded systems using high level architecture. Design Autom. for Emb. Sys., 20(4):289-309, 2016. [doi]
Abstract is missing.