Tackling the RPC-memory specification problem with I/O automata