1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Stochastic hybrid automaton;Aubry,2015
3. Modelling a feed-water control system of a steam generator in the framework of the dynamic reliability;Babykina,2013
4. Automated generation of partial Markov chain from high level descriptions;Brameret;Reliability Engineering & System Safety,2015
5. Efficient Monte Carlo simulation of stochastic hybrid systems;Bouissou,2014