<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author><author><style face="normal" font="default" size="100%">J. Machado</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Natalia Bakhtadze</style></author><author><style face="normal" font="default" size="100%">Alexandre Dolgui</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pattern-based Analysis of Automated Production Systems</style></title><secondary-title><style face="normal" font="default" size="100%">13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year><pub-dates><date><style  face="normal" font="default" size="100%">June</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jccampos/files/camposm2009.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier</style></publisher><pub-location><style face="normal" font="default" size="100%">Moscow</style></pub-location><pages><style face="normal" font="default" size="100%">972-977</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics in which properties are expressed is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skilful process. Errors in this step of the process can create serious problems since a false sense of security if gained with the analysis. However, when compared to the effort put into developing and applying modelling languages, little attention has been devoted to the process of writing properties that accurately capture verification requirements. This paper illustrates how a collection of property patterns, and its tool support, can help in simplifying the process of generating logical formulae from informally expressed requirements.&lt;/p&gt;
</style></abstract></record></records></xml>