Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study