Our paper entitled "PROARTIS: Probabilistically Analysable Real-Time Systems" has appeared in a special section of ACM Transactions on Embedded Computing Systems.

See more about this focus on Probabilistic Embedded Computingat http://dx.doi.org/10.1145/2465787.2465796