Strider: configuration modelling and analysis of complex systems | IEEE Conference Publication | IEEE Xplore