Simulation—language—generated static checks for hybrid and analog simulations | SIMULATION: Transactions of The Society for Modeling and Simulation International | DeepDyve