Presentation slides for my paper on modeling RESTful systems using finite-state machines at #icwe2011 are online http://ivanzuzak.info/papers... #REST