Methods for requirements engineering in AIoT systems