Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations