selected publications conference paper Verification of Hypermedia Characteristic of RESTful Finite-State Machines 2018