Towards a runtime verification approach for internet of things systems