Mapping an Embedded Hard RealTime Systems SDL Specification to an Analyzable Task Network - A Case Study (1998)

by T Kolloch, G F��rber
Venue:Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'98), Lecture Notes in Computer Science