Preface by the section editors

Armstrong J, Virding R, Wikström C, Williams M (1996) Concurrent Programming in Erlang. Prentice Hall

Fredlund L-Å, Gurov D, Noll T, Dam M, Arts T, Chugunov G (2003) A verification tool for Erlang. Int J Softw Tools Technol Transfer 4(4): 404–419

Belina F, Hogrefer D (1991) SDL with applications to protocol specification. Prentice Hall

Engblom J, Ermedahl A, Sjödin M, Gustafsson J, Hansson H (2003) Worst-case execution-time analysis for embedded real-time systems. Int J Softw Tools Technol Transfer 4(4): 436–454

Håkansson J, Jonsson B, Lundqvist O (2003) Generating on-line test oracles from temporal logic specifications. Int J Softw Tools Technol Transfer 4(4): 455–470

ISO/IEC 9646-3 (1997) Information Technology – Open Systems Interconnection – Conformance testing methodology and framework – Part 3: The Tree and Tabular Combined Notation (TTCN). Available at ftp://ftp.npl.co.uk/pub/ttcn/

Johansson E, Pettersson M, Sagonas K, Lindgren T (2003) The development of the HiPE system: Design and experience report. Int J Softw Tools Technol Transfer 4(4): 420–435

Morzenti A, Mandrioli D, Ghezzi C (1992) A model-parametric real-time logic. ACM TOPLAS, 14(4): 521–573, Oct 1992

Park D (1976) Finiteness is mu-ineffable. Theor Comput Sci 3: 173–181