On Verifying Temporal Properties of Configurable Software - Dimovski, Aleksandar S (The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2023)