How to format your references using the Formal Methods in System Design citation style

This is a short guide how to format citations and the bibliography in a manuscript for Formal Methods in System Design. For a complete guide how to prepare your manuscript refer to the journal's instructions to authors.

Using reference management software

Typically you don't format your citations and bibliography by hand. The easiest way is to use a reference manager:

Paperpile	The citation style is built in and you can choose it in Settings > Citation Style or Paperpile > Citation Style in Google Docs.
EndNote	Find the style here: output styles overview
Mendeley, Zotero, Papers, and others	The style is either built in or you can download a CSL file that is supported by most reference managers.
BibTeX	BibTeX styles are usually part of a LaTeX template. Check the instructions to authors if the publisher offers a LaTeX template for this journal.

Journal articles

Those examples are references to articles in scholarly journals and how they are supposed to appear in your bibliography.

Not all journals organize their published articles in volumes and issues, so these fields are optional. Some electronic journals do not provide a page range, but instead list an article identifier. In a case like this it's safe to use the article identifier instead of the page range.

A journal article with 1 author

Zaanen J (2008) Quantum critical electron systems: the uncharted sign worlds. Science 319:1205–1207

A journal article with 2 authors

Göpfert MC, Robert D (2001) Biomechanics. Turning the key on Drosophila audition. Nature 411:908

A journal article with 3 authors

Moran NA, McLaughlin HJ, Sorek R (2009) The dynamics and time scale of ongoing genomic erosion in symbiotic bacteria. Science 323:379–382

A journal article with 5 or more authors

Torres-Larios A, Swinger KK, Krasilnikov AS, et al (2005) Crystal structure of the RNA component of bacterial ribonuclease P. Nature 437:584–587

Books and book chapters

Here are examples of references for authored and edited books as well as book chapters.

An authored book

Putt A (2006) Putt’s Law & the Successful Technocrat. John Wiley & Sons, Inc., Hoboken, NJ

An edited book

Errami E, Brocx M, Semeniuk V (2015) From Geoheritage to Geoparks: Case Studies from Africa and Beyond. Springer International Publishing, Cham

A chapter in an edited book

Weismayer C, Pezenka I, Loibl W (2016) Automated Hyperlink Text Analysis of City Websites: Projected Image Representation on the Web. In: Inversini A, Schegg R (eds) Information and Communication Technologies in Tourism 2016: Proceedings of the International Conference in Bilbao, Spain, February 2-5, 2016. Springer International Publishing, Cham, pp 59–72

Web sites

Sometimes references to web sites should appear directly in the text rather than in the bibliography. Refer to the Instructions to authors for Formal Methods in System Design.

Blog post

Andrew E (2015) Dubai Could Have the World’s First Fully Functional 3D-Printed Building. In: IFLScience. https://www.iflscience.com/technology/dubai-could-have-worlds-first-3d-printed-building/. Accessed 30 Oct 2018

Reports

This example shows the general structure used for government reports, technical reports, and scientific reports. If you can't locate the report number then it might be better to cite the report as a book. For reports it is usually not individual people that are credited as authors, but a governmental department or agency like "U. S. Food and Drug Administration" or "National Cancer Institute".

Government report

Government Accountability Office (1992) Mass Transit: Effects of Tax Changes on Commuter Behavior. U.S. Government Printing Office, Washington, DC

Theses and dissertations

Theses including Ph.D. dissertations, Master's theses or Bachelor theses follow the basic format outlined below.

Doctoral dissertation

Robertson B (2012) Forging a New World Nationalism: Ancient Mexico in United States art and visual culture, 1933–1945. Doctoral dissertation, University of Maryland, College Park

News paper articles

Unlike scholarly journals, news papers do not usually have a volume and issue number. Instead, the full date and page number is required for a correct reference.

New York Times article

Poniewozik J (2016) The ‘Nasty’ Women of the 1960s. New York Times C1

In-text citations

References should be cited in the text by sequential numbers in square brackets:

This sentence cites one reference [1].
This sentence cites two references [1, 2].
This sentence cites four references [1–4].

About the journal

Full journal title	Formal Methods in System Design
Abbreviation	Form. Methods Syst. Des.
ISSN (print)	0925-9856
ISSN (online)	1572-8102
Scope	Hardware and Architecture Software Theoretical Computer Science