1 Introduction
The past decades have witnessed substantial advances and considerable technical progress in the field of STM. Its applications, consequently, have extended far beyond the original function of mapping surface topography, now encompassing a wide range of engineering and analytical areas [
1–
8]. As the STM tip provides direct access to individual atoms or molecules in real space, one of its most innovative applications is to construct artificial nano-structures by means of “bottom up” fabrication on metal or semiconductor surfaces. The electronic properties of these nano-scale architectures can then be investigated by STM measurements. The major impetus of these studies arises from the ambitious goal of replacing conventional semiconductor devices with future molecular electronics. As the device features today have shrunk to the size of 10–100 nanometers, classical models like the Ohmic conductance relation,
where G is the conductance, σ the conductivity of a conductor of length L and cross section A start to break down. Consequently, the working principles of desired device characteristics must be based on completely new ideas. This represents a profound scientific challenge. One of the key problems in this field is to obtain a fundamental understanding of the electronic structure and conducting properties of semiconductor based nano-structures. Due to the complexity of the studied systems in terms of both electronic structure analysis and electron transport measurement, the collaboration between experiment and theory becomes necessary to arrive at successful interpretations of experimental observations. An accurate STM simulation provides not only the insight on the origins of observed image contrast, but also sheds light on the energy landscape governing the working principles of device systems.
In this paper, we first discuss to some extent the commonly used Tersoff–Hamann (TH) and Bardeen methods [
9–
13]. Their characteristic working principles and limitations are presented in relation to actual applications of the models. In practice these simulation methods are implemented using wave functions obtained from finite cluster or slab calculations. This introduces a need for artificial broadening of the discrete energy levels – a technique that can affect the result of the STM simulation. During the past few years, we have therefore developed a more complete, first-principles STM simulation scheme based on non-equilibrium Green’s functions (NEGF), which provides a unified description of the electron transport through the whole STM circuit, consisting of substrate, interface, vacuum, interface, and tip.
The problem with the NEGF transport method as implemented in a number of existing codes (see Ref. [
14], and references therein) in the context of STM operation is the need for positioning the STM tip at an arbitrary offset with respect to the surface plane. This together with the fact that tip and sample materials are in general different, makes it highly problematic to represent the combined substrate-tip interface within the same supercell. Therefore, our method deviates from the usual L–C–R setup applied in standard NEGF transport calculations, in that it models the tip and substrate as two separate systems in thermal equilibrium and treats the coupling between these perturbatively. The Green’s function of these semi-infinite systems is obtained once and for all at the beginning of the simulation. We use Density Functional Theory (DFT) to model the electronic structure of tip and substrate, and represent the Hamiltonian, self-energies, and Green’s functions in terms of atom-centered Wannier functions. As the tip is scanned over the surface only a small number of coupling matrix elements has to be calculated which can be easily done on-the-fly.
2 Electron tunneling theory: The traditional approach
In general, a complete single electron transport process in an STM operation can be divided into three elementary steps:
1)Propagation of the electron from the bulk of the sample material to the surface–vacuum interface.
2)Tunneling over the vacuum region between tip and surface.
3)Transport of electron from tip–vacuum interface into the bulk of tip material.
In the simplest case, the electron transport in the first and third step can be regarded as due to free electron modes. The value of tunneling current is then proportional to the probability of finding the surface electron in the tip apex region. If the electron–electron interaction can be ignored, and the potential barrier in the vacuum region has a constant value U, the electron can be described by a single particle Schrödinger equation:
Here, z indicates the distance of electron from the sample surface. In the classically forbidden region (), it is known that the surface states decays exponentially with a constant exponent:
is the decay constant of the electron state, and for states at the Fermi level it is related to the square root of the work function. In the Tersoff–Hamann model, the unknown tip electronic structure is approximated by an atomic
s orbital which has the same work function as the sample. As a consequence, there is a non-vanishing probability
for a surface electron from the
nth state
with energy
to tunnel into the corresponding tip state. Assuming that the bias voltage is very small so that the electronic properties of tip and sample are not affected, the tunneling current can be evaluated from the Tersoff–Hamann formula [
9,
10]:
where
denotes the Fermi level of the sample surface states. In practice, the obtained tunneling current map from the TH model is simply the Local Density of States (LDOS) of the sample at the Fermi level. In particular, the electronic structure of the tip is completely disregarded. Due to its simplicity, the Tersoff–Hamann method has been incorporated into most existing DFT codes. Figure 1(b) shows an STM simulation of a hydrogen terminated Si(001)-(2×1) surface with the Tersoff-Hamann method. Despite the fact that the TH method cannot explain the origin of atomic resolution in STM measurements, it often provides a fairly good qualitative prediction of the experimental observations [
15].
In reality, however, the work functions of tip and sam-ple are different, and the decay of the electrons states is not constant. More importantly, a large number of experiments show that the tip effects can play a vital role in the STM imaging process. A typical example is shown in Fig. 2 [
16]. In this case the adsorbed perylene molecule on an Ag(110) surface is imaged with a clean tungsten tip and a tungsten tip with an attached molecule. In the first case, perylene molecules appear as four bright lobes, seen in Fig. 2(a). However, if this STM tip had been functionalized by a molecule, the molecular eigenstates have a vanishing overlap with the states of the molecule attached to the STM tip. As a consequence, only the substrate surface states are imaged, while the molecules, due to charge transfer between surface and adsorbed molecules, appear as depressions.
If we assume that the tunneling current will be determined by electron transport in the vacuum region, and make no assumption about the tip orbitals contributing to the tunneling process, then tip effects can be included by the Bardeen approach [
12]. In this case, tip and sample surface are assumed to be sufficiently far apart, so that the presence of the tip can be regarded as a small perturbation of the electronic properties of the surface. When the bias voltage is low, the tunneling current can be regarded as the net effect of independent scattering events that transfer electrons across the tunneling barrier. Thus, instead of treating the combined surface-tip system as one quantum mechanical system, the Bardeen approach takes the electronic structures of the two subsystems separately and then calculates the electron transfer between the tip and surface using time dependent perturbation theory. The method is based on four assumptions: (i) the surface–tip interactions are very weak, (ii) the electron–electron interactions can be neglected, (iii) occupation probabilities of the surface and the STM tip are independent from each other and do not change during tunneling and (iv) the eigenstates of the two electrodes are approximately orthogonal. These assumptions allow us to state that the electrons are governed by the following single-electron Hamiltonian:
HT is called the “transfer Hamiltonian”. It describes the elastic transport of electrons from one lead to the other. HL and HR are the left and right lead Hamiltonian respectively, they are defined as:
and
Here, for in the left lead region and the vacuum. Correspondingly, for in the right lead region and the vacuum. Based on first-order perturbation theory, the probability of elastic tunneling from state of the left lead to the right lead is
where the matrix element is expressed by
At the right lead, , we therefore can write
As we are interested only in elastic transport (), the second and last term in Eq. (10) cancel. Keeping in mind that at the right lead region, we arrive at
If we take the right lead as the STM tip and substitute HR with in the equation above, the tunneling matrix can be written as:
Here,
represents the enclosed surface surrounding the STM tip. In practice, however, it can be replaced by the separation surface between the two electrodes. Taking occupation probabilities into account, the tunneling current can be written as [
12]:
where is the Fermi distribution function while and denote the Densities of States (DOS) of the sample and tip respectively.
In Bardeen’s approach the wavefunctions of tip and sample are calculated separately and kept fixed in the following current calculations. In realistic situations, however, as an STM tip moves very close to the sample surface or a large bias voltage is applied, the wave functions of both sub-systems will be distorted and so will their eigenvalues and occupation probabilities. As a result, the application of Eq. (13) is inherently limited to STM simulations of low bias voltage and large tip-sample separations. Despite these limitations, the model has proved to be successful in a wide range of applications and has become a fairly reliable method in interpreting experimental observations.
Let us finally note that the derivation of the Bardeen current formalism [Eq. (13)] is not unique [
23]. Based on multiple scattering theory, electron tunneling through a vacuum barrier can be generalized by the Landauer–Büttiker equation [
24,
25]:
Here, and denote chemical potentials of surface and tip respectively. GR and GA are the retarded and advanced Green’s function of the vacuum barrier. represent the surface and tip contacts, which are defined by the difference between retarded and advanced selfenergies of the corresponding electrodes:
Palotás and Hofer have demonstrated that Eq. (14) and Eq. (13) are equivalent at zero bias if the Green’s function of the vacuum barrier is approximated to zero order [
26]:
In higher order approximations of the Green’s functions via the Dyson equation tip-sample interactions and multiple electron pathways can also be taken into account [
27–
30] In this case the tunneling process from the surface to the STM tip can in principle be described with arbitrary precision. However, the electron transport into the leads of the STM circuit is not part of this multiple scattering approach.
3 Complete electron tunneling model for STM simulations
In practical applications of the Bardeen and TH methods the wave functions, overlap matrix elements, and state densities entering Eq. (13) are obtained from DFT calculations where the surface and tip (if the tip is modelled explicitly) are represented as finite clusters or slabs. The fact that the real system contains infinite (macroscopic) electrodes is then modelled by artificially broadening the discrete energy levels to obtain a continuous DOS.
Rather than using wave functions, the transport theory can be formulated in terms of non-equilibrium Green’s functions (NEGF) which allow for inclusion of infinite electrodes thus removing the need for artificial level broadening [
31–
35]. As discussed in the introduction, the standard implementation of NEGF-transport is, however, unsuited for STM simulations where high efficiency for large and complex systems is crucial. Below we describe how the NEGF formalism can be used in conjunction with a Wannier function basis set to achieve highly efficient and accurate STM simulations taking the bulk nature of the electrodes fully into account.
We begin by making the following assumptions similar to the ones underlying Bardeen and TH theory:
1)The tip and surface are weakly coupled so that the effective potential of the combined tip+surface system can be expressed as the sum of the effective potentials of the separate systems. This assumption also implies that the current can be calculated to lowest order in the tip–surface coupling.
2)Electron–electron interactions in the tunneling process are negligible so that the independent particle approximation is valid.
3)Tip and sample are in their respective thermal equilibrium at all times, i.e., injected hot electrons are instantly thermalized.
4)The voltage drop due to the finite bias is located in the vacuum region and does not affect the coupling matrix elements.
Initially, the tip and sample surface are decoupled and in their thermal equilibria with chemical potentials and , respectively. In STM operation, as they are brought close to each other, a net tunneling current starts to flow provided that . After a transient period the current flow becomes steady. By introducinga basis set consisting of localized basis functions, the Hamiltonian of the combined system can be written as:
Here, and are the Hamiltonian operators for the tip and sample, while represents the coupling between the two subsystems. In second quantization they are expressed as:
The assumption of orthogonality of the basis functions is adopted here to simplify the presentation. In practice, however, most localized basis sets (including the Wannier functions used in the present work) are non-orthogonal. For an extension of the second quantization and NEGF-transport formalism to non-orthogonal basis sets we refer the reader to Ref. [
22].
Note that is the coupling matrix element for the full Hamiltonian of the combined system, , i.e., including the potential due to both tip and sample. It is equivalent to Bardeen’s transition matrix element and expresses the transition probability from the jth basis function of the surface to the ith basis function of the tip. The current flowing between the two systems is given by the change of the number of electrons in, e.g., the tip, , where is the number operator. The time derivative can then be evaluated from the equation of motion:
From this expression we identify the lesser Green’s functions, and . To lowest order in the tip–surface interaction, , we have the following relation for the (contour-ordered) Green’s function
where
C denotes the Keldysh contour and matrix multiplication in the basis function indices is implied. Here,
and
represent the equilibrium Green’s functions of the isolated semi-infinite surface and tip respectively. Applying the Langreth rules for converting the above expressions to the real time we obtain [
36]
In steady state, the Green’s function will only depend on the time difference . This allows us to make a Fourier transform of the current formula from the time domain to the frequency domain:
As
and
in Eq. (24) and Eq. (25) are lesser Green’s functions in equilibrium, they can be expressed in terms of the spectral function [
27]:
where the spectral function . As a consequence, Eq. (26) can be rewritten as:
If the tip–sample coupling is weak enough, so that the wavefunctions and eigenvalues of the two subsystems are not distorted, the effects of a finite bias V then enters solely through a shift in energy of the surface eigenstates relative to the tip eigenstates by an amount of . With this approximation, the current formula becomes
Because the spectral function and are independent of the tip–sample configuration, they need to be calculated only once in STM simulations. The retarded Green’s function of, e.g., the tip is given by
where
ST and
HT are the overlap and Hamiltonian matrices of the “active” part of the tip electrode (blue region in Fig. 3) and
is a self-energy describing the coupling to the semi-infinite periodic bulk. The latter can be determined iteratively by the decimation technique [
37].
As the tip scans across the sample surface, the current change is determined by the changes in which are given by
where the effective potential is
and
with .
The derivations of Eq. (30) and Eq. (13) are based on the same approximations, and it is straightforward to show that the two conductance formulas are equivalent. The spectral representations of the lead Hamiltonians are
Here,
represents the eigenvalues of the isolated sample or tip Hamiltonians. The spectral functions are also diagonal and are given by [
38]:
Substituting Eq. (36) to Eq. (30) we recover Bardeen’s formula:
When the assumptions of the Tersoff–Hamann model are used, the tunneling matrix element is proportional to the sample wavefunction at tip position z. The equation above then leads to the Tersoff–Hamann current formula:
As illustrated, the characteristic working principles and limitations of Eq. (30) are identical to those of Bardeen’s approach, but the description has been extended to a complete transport process by taking the coupling to the macroscopic electrodes fully into account. However, it should be noted that the NEGF formalism requires a set of basis functions localized in the transport direction in order to achieve the division into the interaction region and leads, see Fig. 3. At present, the most common choice to fulfill this requirement in first-principles calculations are atomic orbitals. However, recent work by Garcia
. [
39] has demonstrated that a strictly localized basis, optimized from bulk calculations, is insufficient to describe the surface properties of the sample, such as the electronic structure of the surface states and the decay of wavefunctions into the vacuum region. By contrast, first-principles calculations based on plane waves and a grid basis are generally more accurate, but they do not lend themselves directly as basis sets for transport calculations. An ideal approach is to generate a set of localized orbitals (Wannier functions) from the extended eigenstates obtained from a plane wave or grid based calculation [
18–
21]. In this way accurate transport calculations can be carried out at very low computational cost [
14,
17].
4 Applications
4.1 Experimental background
STM has been used for the study of buried dopants in silicon [
40–
43]. However, STM lithography [
44] also allows the possibility to position dopant atoms in silicon with near atomic precision [
45]. Recent studies have adopted this technique to the fabrication of atomically controlled dopant devices in silicon [
8,
46,
47]. In these experiments, the clean Si(001)-(2×1) surface is exposed to atomic hydrogen so that all surface dangling bonds are saturated by the formation of Si–H bonds, see Fig. 1(a). In a second step, the STM tip is employed to selectively desorb hydrogen atoms from the monohydride Si(001) surface. The recreated Si dangling bonds then react with dosed phosphine (PH
3) from the gas phase, leaving the surrounding hydrogen terminated area intact. Annealing the surface at around 350℃ results in the incorporation of P atoms from phosphine into the Si subsurface. The precision lithography of 3 adjacent dimers individual for placement of P atoms has also been demonstrated previously [
45]. Once dosed and annealed to incorporate the dopants, the surfaces are then encapsulated with epitaxial silicion to activate the dopant.
The electronic property of the buried devices can then be investigated with STM techniques [
43]. Because the calculation of the tunneling current for this kind of systems should include a complete electron transportprocess (semi-infinite substrate-interface-vacuum-interface-semi-infinite tip), the prevalent Bardeen approach becomes unreliable.
In order to demonstrate the potential of this new STM simulation scheme, we take a single P-doped Si(001)-(2×1):H surface as a test system. Figure 5 shows empty states and filled states STM imaging of the same area of the sample [
43]. The P dopant is known to be buried several atomic layers below the surface. As can be seen, the surface area above the P atom is imaged as a rectangular protrusion at all biases. The bright peak extends over two dimer rows in the
direction and about three dimers in the
direction. This feature has been frequently observed for buried dopant atoms beneath Si(001)-(2×1):H surfaces, and can therefore be used as a benchmark to identify the location of the dopant atoms. Interestingly, the apparent height of this bright feature decreases as the voltage value increases from 1.0 V to 1.6 V and fade out at –2 V bias. An STM simulation of this bias-dependence of the imaging contrast is thus a suitable challenge to the new method.
4.2 DFT calculations
The DFT calculations for the Si surface are performed with the Vienna
ab-initio Simulation Package (VASP) [
49–
52] and the Grid-based Projector-Augmented Wave (GPAW) code [
53,
54]. STM simulations using the TH and Bardeen approach are carried out using the BSKAN code, which is described in Ref. [
55]. In these calculations the LDOS and overlap of vacuum wavefunctions of the tip and sample at the separation surface are calculated numerically based on the VASP results. The electronic structure calculations used as input to the new NEGF-STM scheme are performed with GPAW. In all calculations we use the LDA exchange-correlation functional. We use a 400 eV plane wave cut off in the VASP calculations and a grid spacing of 0.2
in the GPAW calculations. Because of the large size of the system the first Brillouin zone was sampled at the
point only.
Figure 6(a) shows the supercell used to represent the P-doped Si film. The P atom is placed below the top H atoms. The top three layers of Si atoms and all H atoms were fully relaxed until the residual force was smaller than . The non-periodic part of the semi-inifite surface lead is illustrated by Fig. 6. A couple of convergence layers of silicion atoms (in red color) are included to assure the convergence of the potential inside the surface. All the atoms above convergence layers are referred as the non-periodic part of the surface lead (see Fig. 3). The convergence layers are then cut out and the surface atoms are extended with an infinite number of principal layers from silicon bulk calculations. The STM tip is modeled by a W(111) film composed of three periodic layers along the direction and a small pyramid attached to one side, see Fig. 7. Atomic relaxations in the tip calculation are limited to atoms in the surface layer.
4.3 Bardeen and Tersoff–Hamann models
The STM simulation using the TH model is shown in Fig. 8. The position of the buried P atom is marked with a blue circle. At short tip–sample distances (around ), the TH model leads to surface topographies at all biases [Fig. 8(a)–(c)]. However, when the tip-sample distance increases to about , the dopant induced modification on surface states becomes visible [Fig. 8(d)–(f)]. At +1.0 V, the H atom above the phosphorus appears as a small peak. Its surrounding area is shown as depressions; however, the dimers at the corners of the unit cell are imaged as the highest protrusions. When the bias changes to +1.4 V, we see that the symmetry of the contrast changes dramatically. The surface area directly above the P atom is now the highest peak. Its neighbouring Si-H from the same silicon dimer is imaged as a hole while the adjacent dimer row appears a valley. At –2.0 Vvoltage, however, the contrast of the calculated STM image remain unchanged. Figure 9 shows STM calculations at the same biases (+1.0 V, +1.4 V and V) with the Bardeen model. Not surprisingly, the obtained images qualitatively agree with the TH results at larger tip-sample distances. However, the simulated STM images from the TH and Bardeen methods do not fit the experimental observations, as the surface atoms near the blue circle should appear as bright protrusions at all these biases.
From the DFT calculations we know that the dopant state is in the band gap of the Si(001)-(2):H surface positioned about 0.3 eV below the conduction band edge. The band decomposed charge density calculation allows a view of the dopant states in the unit cell and quite helpful in understanding the calculated STM images:
Here, N represents the number of bands in the selected energy window and n denotes band index. Figure 10(a) and (b) show the calculated band decomposed charge density of the P states in the band gap of undoped Si(001)-(2):H. As can be seen, the states of the extra electron from P dopant are well confined below the vacuum–sample interface and therefore do not directly contribute to the Bardeen’s tunneling current. Figure 11(a) shows the site Projected Density of States (PDOS) of top-most Si and H atoms of the doped and undoped sample. The Fermi level of the undoped surface is used as a reference. As can been seen, the PDOS of the Si and H atoms on the doped surface have some states in the energy window of – relative to the Fermi level. These states arise because of the long range effects of the P dopant. The STM contrast obtained from the Bardeen method in Fig. 9 is thus attributed to the indirect effect of the buried P atom. The mismatch between STM observation and the Bardeen model arises from the incomplete calculation of the electron transport process. As shown in Fig. 11(b), the dopant atom has a much stronger effect on the Si atoms close to it. An immediate and important consequence is that when the electron propagates from surface into bulk, the scattering probability is strongly dependent on the local environment below the surface. The calculation of electron transport inside the sample is thus the dominating step for evaluating the tunneling current.
4.4 NEGF-STM simulations
In this section we apply the NEGF-STM method to the P-doped Si(001)-(2
1):H system. In order to fulfill the basic approximation of weak sample–tip coupling, the apex of the W(111) tip was always kept at least
above the top H atoms. The atom-centered Wannier functions are generated from Bloch states of GPAW DFT calculations. All the eigenstates below an energy of
+ 3.5 eV are included in the construction of the Wannier basis. The locality of the Wannier functions is exploited by representing each basis function in a small box of dimensions
, see Fig. 12. Outside the box the Wannier function is set to zero. We have checked that the results are converged with respect to the size of the localization box. The Hamiltonian and overlap matrix elements of two orbitals can be evaluated by considering only the overlapping area of the corresponding localization boxes, see Fig. 12. As the tip scans over the surface only a small number of matrix elements, corresponding to localization boxes with non-zero overlap, needs to be calculated. The Green’s functions of the tip and sample,
and
, are calculated at the beginning of the calculation using standard techniques, see e.g. Ref. [
14].
The calculated STM images are shown in Fig. 13. As can be seen, in the doped system, the surface atoms above the P atom appear as protrusions at all biases, marked with the red boxes in Fig. 13(a)–(d). As our unit cell includes only two dimers rows and four dimers in each dimer row, the contrast of the characteristic peak is not very obvious. However, comparing the STM simulations of undoped Si(001)-(2×1):H, seen in Fig. 13(e)–(h), the doped surfaces appear brighter at all biases. The image contrasts inside the red boxes in Fig. 13(a)–(d) are smaller than those in the undoped Si(001)-(2×1):H surface. This is also consistent with experimental results. Of importance, the increased image contrast has also been seen at the edges of doped surface unit cell, indicating the calculated characteristic protrusion is of the same dimension as observed experimentally. Figure 13(i) shows a height-profile along the line indicated in Fig. 13(a). The value of apparent height in the line-profile is obtained by subtracting the average height of clean surfaces at the same biases. The decrease of apparent height with increasing bias voltage from +1.0 V to +1.6 V has also been reproduced. In addition, Fig. 13(i) shows that at –2.0 V, the apparent height of the bright feature is almost the same as for the undoped surface. This also agrees well with the experimental observations.
In order to understand the origin of the characteristic protrusion for Si encapsulated dopant atoms, we performed band decomposed charge density calculations of the P-doped Si(001)-(2×1):H system at the energy window from 0 eV to +1.0 eV, +1.6 eV and –2.0 eV relative to the surface Fermi level. As shown in Fig. 14, at small biases, the dopant states provide the majority of states for the tunneling current inside the surface. This enhancement is imaged as a protrusion in STM measurements. However, as the absolute value of bias voltage increases, more and more Si states get involved in the electron transport, the contribution from dopant states becomes less important. Correspondingly, the apparent height of the characteristic protrusion decreases. For the characteristic protrusions, both experiments and theory show that one dimer row appears higher than the other. This is to some extent due to the relaxation of surface atoms. However, PDOS calculations reveal that the electronic properties of these surface atoms are not identical either. The electronic effects can therefore also be important in interpreting the contrast difference of the two dimer rows. As we have shown, the calculation of STM images based on non-equilibrium Green’s functions reproduces all features of the experimental data. This new STM simulation scheme is thus capable of addressing electron transport in STM junctions comprehensively and even allows to address the hitherto difficult to analyze transport on doped semiconductor surfaces.
5 Summary
We have presented an accurate and efficient STM simulation method based on non-equilibrium Green’s functions (NEGF) and a Wannier function basis set. The scheme has been compared to the more traditional STM schemes, i.e., the Tersoff–Hamann and Bardeen’s models, with particular focus on doped semiconductor systems. The main novelty of the NEGF-STM method is the proper account of the semi-infinite (macroscopic) electrodes which provides the correct continuous spectrum at the surface thus removing the need for an artificial level broadening inherent in practical applications of the Tersoff-Hamann and Bardeen’s models. In order to show the difference between this new method and the Bardeen model, we performed STM simulations on a single P-doped Si(001)-(2×1):H surface. In this system, the important transport region that determines the STM contrast is not the separation vacuum but the interface below the sample surface. Consequently, the Bardeen model fails to reproduce the experimental observations. The new STM simulation scheme, by contrast, evaluates electron transport in the whole circuit. As a result, the simulated STM images completely agree with the bias dependent experimental data. The scheme, introduced in this paper, thus substantially improves the state of the art in STM theory, and should become the de facto standard of simulations within the next years.
©Higher Education Press and Springer-Verlag Berlin Heidelberg 2010