Automated specification and verification of web systems | lit.salon