  This paper provides a brief introduction to the work that aims to apply the
achievements within the area of engineering psychology to the area of formal
methods, focusing on the specification phase of a system development process.
