| Title | PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems |
| Publication Type | Journal |
| Year of Publication | 2014 |
| Secondary Title | ADA USER JOURNAL |
| Volume | 35 |
| Issue | 2 |
| Pagination | 118-122 |
| Date Published | 06/2014 |
| URL | http://www.ada-europe.org/archive/auj/auj-35-2.pdf |
| Citation Key | 13096 |
