Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments