Rocha, E., 		Silva, V., & 		Rodrigues, A.
(2025).
 Formal Software Verification for the Internet of Things with Application Validation in Kotlin/Java.
In <em>Proceedings of the 2nd ICET Technology Conference</em>, (pp. 194-201). Porto Alegre: SBC.
doi:10.5753/connect.2025.12111