1. Aldrich, C., Auret, L.: Unsupervised process monitoring and fault diagnosis with machine learning methods. Springer, London (2013)
2. Allen, L.V.: Verification and Anomaly Detection for Event-Based Control of Manufacturing. Ph.D. Thesis. University of Michigan, USA (2010)
3. Ackermann, C., Cleaveland, R., Huang, S., Ray, A., Shelton, C., Latronico, E.: Automatic requirement extraction from test cases. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Rosu, G., Sokolsky, O., Tillmann, N. (eds.) Runtime Verification. Springer, Berlin (2010)
4. Allen, L.V., Tilbury, D.M.: Anomaly detection using model generation for event-based systems without a preexisting formal model. IEEE Trans. Syst. Man Cybern. A Syst. Hum. 42(3), 654–668 (2012). doi: 10.1109/tsmca.2011.2170418
5. Barad, M., Sipper, D.: Flexibility in manufacturing systems: definitions and Petri net modelling. Int. J. Prod. Res. 26(2), 237–248 (1988). doi: 10.1080/00207548808947856