This document is one of the parts of the electronic version of the PhD thesis by S F M van Vlijmen The goal of the PhD project was to get a better under standing of the problems with the integration of formal speci cation technique in the day to day software practice The approach followed was to execute a number of projects in cooperation with industry on realistic cases In this document is rep...

The objective of this study was to investigate the concentration and spatial distribution patterns of six potentially toxic heavy metal elements (Mn, Zn, Cr, Pb, Cu and Ni) in bus station dusts in the Xifeng district of Gansu province, NW China. The contents were analyzed for Mn, Zn, Cr, Pb, Cu and Ni by using S8 TIGER Brochures wavelength dispersive X-ray fluorescence spectrometry. Geoaccumula...

Motor vehicles constitute a significant source of polycyclic aromatic hydrocarbon (PAH) emissions to the atmosphere. Particle-phase priority pollutant PAH concentrations and total suspended particle mass (TSP) were measured in the Lapa bus station and the Americo Simas Tunnel, located in the city of Salvador, Brazil. Separate samples were collected at the bus station at different times of the d...