Structured Modeling of Concurrent Stochastic Hybrid Systems. - Mikhail Bernadsky; Raman Sharykin; Rajeev Alur (FORMATS/FTRTFT, 2004)

Optimal Reachability for Weighted Timed Games. - Rajeev Alur; Mikhail Bernadsky; P. Madhusudan (ICALP, 2004)

Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. - Rajeev Alur; Mikhail Bernadsky (HSCC, 2006)

Symbolic Analysis for GSMP Models with One Stateful Clock. - Mikhail Bernadsky; Rajeev Alur (HSCC, 2007)