Bounded verification of Ruby on Rails data models
Web Modeling Language ( WebML ) : a modeling language for designing Web sites