Software Supply Chain Security for Connected Devices | Finite State