Rocha, E., 		Silva, V., & 		Rodrigues, A.
2024 Feb 20.  Formal Verification of Software for the Internet of Things with Application Validation in Kotlin/Java: Preliminary Systematic Mapping. Proceedings of the ICET Technology Conference (CONNECTech). [Online] :