Using finite state machines as design and engineering model for database backed Web applications | IEEE Conference Publication | IEEE Xplore