Integration of correct-by-construction BIP models into the MetroII design space exploration flow | IEEE Conference Publication | IEEE Xplore