1. Gustafsson, J., et al.: Automatic derivation of loop bounds and infeasible paths for WCET analysis using Abstract Execution. In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006). IEEE Computer Society, Rio de Janeiro (2006)
2. Ermedahl, A., Gustafsson, J., Lisper, B.: Deriving WCET Bounds by Abstract Execution. In: Proceedings of the 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011), Porto, Portugal (2011)
3. Clarke, E.M., Heinle, W.: Modular translation of Statecharts to SMV. Technical report, Carnegie Mellon University (2000)
4. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238–252 (1977)
5. Ratiu, D., Völter, M., Schätz, B., Kolb, B.: Language Engineering as an Enabler for Incremental Formal Analysis. In: Proceedings of FORMSERA 2012 Workshop (2012)