Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis