Model transformation for validation of software design. - Shadi al Dehni (2008)

An Adaptive Driver Alert System Making Use of Implicit Sensing and Notification Techniques. - Gilbert Beyer; Gian Mario Bertolotti; Andrea Cristiani; Shadi al Dehni (MobiQuitous, 2010)