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