A formal modeling and analysis framework for software product line of preemptive real-time systems.

Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang

Browse the full SAC paper archive.